(define (problem test)

(:domain marsexplorer-planning)
(:objects
    a0 - agent
    m0 - mothership
    f0 f1 f2 f3 f4 - food
    pos-0-0 pos-0-1 pos-0-2 pos-0-3 pos-0-4 pos-0-5 pos-0-6 pos-0-7 pos-0-8 pos-1-0 pos-1-1 pos-1-2 pos-1-3 pos-1-4 pos-1-5 pos-1-6 pos-1-7 pos-1-8 pos-2-0 pos-2-1 pos-2-2 pos-2-3 pos-2-4 pos-2-5 pos-2-6 pos-2-7 pos-2-8 pos-3-0 pos-3-1 pos-3-2 pos-3-3 pos-3-4 pos-3-5 pos-3-6 pos-3-7 pos-3-8 pos-4-0 pos-4-1 pos-4-2 pos-4-3 pos-4-4 pos-4-5 pos-4-6 pos-4-7 pos-4-8 pos-5-0 pos-5-1 pos-5-2 pos-5-3 pos-5-4 pos-5-5 pos-5-6 pos-5-7 pos-5-8 pos-6-0 pos-6-1 pos-6-2 pos-6-3 pos-6-4 pos-6-5 pos-6-6 pos-6-7 pos-6-8 pos-7-0 pos-7-1 pos-7-2 pos-7-3 pos-7-4 pos-7-5 pos-7-6 pos-7-7 pos-7-8 pos-8-0 pos-8-1 pos-8-2 pos-8-3 pos-8-4 pos-8-5 pos-8-6 pos-8-7 pos-8-8 - position
    )

(:init
    (not-done)
    (not-decrease-energy-by-1)
    (not-decrease-energy-by-2)
    (not-increase-energy)
    (= (total-cost) 0)
    (mothership-at pos-2-2)
    (not-energy-level-0)
    (not-energy-level-1)
    (not-energy-level-2)
    (not-energy-level-3)
    (not-energy-level-4)
    (not-energy-level-5)
    (not-energy-level-6)
    (not-energy-level-7)
    (not-energy-level-8)
    (not-energy-level-9)
    (not-energy-level-10)
    (not-energy-level-11)
    (not-energy-level-12)
    (not-energy-level-13)
    (not-energy-level-14)
    (not-energy-level-15)
    (not-energy-level-16)
    (not-energy-level-17)
    (not-energy-level-18)
    (not-energy-level-19)
    (not-energy-level-20)
    (not-energy-level-21)
    (not-energy-level-22)
    (not-energy-level-23)
    (not-energy-level-24)
    (not-energy-level-25)
    (not-energy-level-26)
    (not-energy-level-27)
    (not-energy-level-28)
    (not-energy-level-29)
    (energy-level-30)
    (agent-at a0 pos-2-2)
    (not-food-processed f0)
    (food-at f0 pos-4-2)
    (food-here pos-4-2)
    (not-food-processed f1)
    (food-at f1 pos-7-4)
    (food-here pos-7-4)
    (not-food-processed f2)
    (food-at f2 pos-7-5)
    (food-here pos-7-5)
    (not-food-processed f3)
    (food-at f3 pos-7-6)
    (food-here pos-7-6)
    (not-food-processed f4)
    (food-at f4 pos-7-7)
    (food-here pos-7-7)
    (not-has-food a0)
    (not-food-at pos-0-0)
    (not-mothership-at pos-0-0)
    (wall-at pos-0-0)
    (not-food-at pos-1-0)
    (not-mothership-at pos-1-0)
    (wall-at pos-1-0)
    (not-food-at pos-2-0)
    (not-mothership-at pos-2-0)
    (wall-at pos-2-0)
    (not-food-at pos-3-0)
    (not-mothership-at pos-3-0)
    (wall-at pos-3-0)
    (not-food-at pos-4-0)
    (not-mothership-at pos-4-0)
    (wall-at pos-4-0)
    (not-food-at pos-5-0)
    (not-mothership-at pos-5-0)
    (wall-at pos-5-0)
    (not-food-at pos-6-0)
    (not-mothership-at pos-6-0)
    (wall-at pos-6-0)
    (not-food-at pos-7-0)
    (not-mothership-at pos-7-0)
    (wall-at pos-7-0)
    (not-food-at pos-8-0)
    (not-mothership-at pos-8-0)
    (wall-at pos-8-0)
    (not-food-at pos-0-1)
    (not-mothership-at pos-0-1)
    (wall-at pos-0-1)
    (not-food-at pos-1-1)
    (not-mothership-at pos-1-1)
    (not-wall-at pos-1-1)
    (not-food-at pos-2-1)
    (not-mothership-at pos-2-1)
    (not-wall-at pos-2-1)
    (not-food-at pos-3-1)
    (not-mothership-at pos-3-1)
    (not-wall-at pos-3-1)
    (not-food-at pos-4-1)
    (not-mothership-at pos-4-1)
    (not-wall-at pos-4-1)
    (not-food-at pos-5-1)
    (not-mothership-at pos-5-1)
    (wall-at pos-5-1)
    (not-food-at pos-6-1)
    (not-mothership-at pos-6-1)
    (not-wall-at pos-6-1)
    (not-food-at pos-7-1)
    (not-mothership-at pos-7-1)
    (not-wall-at pos-7-1)
    (not-food-at pos-8-1)
    (not-mothership-at pos-8-1)
    (wall-at pos-8-1)
    (not-food-at pos-0-2)
    (not-mothership-at pos-0-2)
    (wall-at pos-0-2)
    (not-food-at pos-1-2)
    (not-mothership-at pos-1-2)
    (not-wall-at pos-1-2)
    (not-food-at pos-2-2)
    (not-wall-at pos-2-2)
    (not-food-at pos-3-2)
    (not-mothership-at pos-3-2)
    (not-wall-at pos-3-2)
    (not-mothership-at pos-4-2)
    (not-wall-at pos-4-2)
    (not-food-at pos-5-2)
    (not-mothership-at pos-5-2)
    (wall-at pos-5-2)
    (not-food-at pos-6-2)
    (not-mothership-at pos-6-2)
    (not-wall-at pos-6-2)
    (not-food-at pos-7-2)
    (not-mothership-at pos-7-2)
    (not-wall-at pos-7-2)
    (not-food-at pos-8-2)
    (not-mothership-at pos-8-2)
    (wall-at pos-8-2)
    (not-food-at pos-0-3)
    (not-mothership-at pos-0-3)
    (wall-at pos-0-3)
    (not-food-at pos-1-3)
    (not-mothership-at pos-1-3)
    (not-wall-at pos-1-3)
    (not-food-at pos-2-3)
    (not-mothership-at pos-2-3)
    (not-wall-at pos-2-3)
    (not-food-at pos-3-3)
    (not-mothership-at pos-3-3)
    (not-wall-at pos-3-3)
    (not-food-at pos-4-3)
    (not-mothership-at pos-4-3)
    (wall-at pos-4-3)
    (not-food-at pos-5-3)
    (not-mothership-at pos-5-3)
    (wall-at pos-5-3)
    (not-food-at pos-6-3)
    (not-mothership-at pos-6-3)
    (not-wall-at pos-6-3)
    (not-food-at pos-7-3)
    (not-mothership-at pos-7-3)
    (not-wall-at pos-7-3)
    (not-food-at pos-8-3)
    (not-mothership-at pos-8-3)
    (wall-at pos-8-3)
    (not-food-at pos-0-4)
    (not-mothership-at pos-0-4)
    (wall-at pos-0-4)
    (not-food-at pos-1-4)
    (not-mothership-at pos-1-4)
    (not-wall-at pos-1-4)
    (not-food-at pos-2-4)
    (not-mothership-at pos-2-4)
    (wall-at pos-2-4)
    (not-food-at pos-3-4)
    (not-mothership-at pos-3-4)
    (wall-at pos-3-4)
    (not-food-at pos-4-4)
    (not-mothership-at pos-4-4)
    (wall-at pos-4-4)
    (not-food-at pos-5-4)
    (not-mothership-at pos-5-4)
    (not-wall-at pos-5-4)
    (not-food-at pos-6-4)
    (not-mothership-at pos-6-4)
    (not-wall-at pos-6-4)
    (not-mothership-at pos-7-4)
    (not-wall-at pos-7-4)
    (not-food-at pos-8-4)
    (not-mothership-at pos-8-4)
    (wall-at pos-8-4)
    (not-food-at pos-0-5)
    (not-mothership-at pos-0-5)
    (wall-at pos-0-5)
    (not-food-at pos-1-5)
    (not-mothership-at pos-1-5)
    (not-wall-at pos-1-5)
    (not-food-at pos-2-5)
    (not-mothership-at pos-2-5)
    (not-wall-at pos-2-5)
    (not-food-at pos-3-5)
    (not-mothership-at pos-3-5)
    (not-wall-at pos-3-5)
    (not-food-at pos-4-5)
    (not-mothership-at pos-4-5)
    (not-wall-at pos-4-5)
    (not-food-at pos-5-5)
    (not-mothership-at pos-5-5)
    (not-wall-at pos-5-5)
    (not-food-at pos-6-5)
    (not-mothership-at pos-6-5)
    (not-wall-at pos-6-5)
    (not-mothership-at pos-7-5)
    (not-wall-at pos-7-5)
    (not-food-at pos-8-5)
    (not-mothership-at pos-8-5)
    (wall-at pos-8-5)
    (not-food-at pos-0-6)
    (not-mothership-at pos-0-6)
    (wall-at pos-0-6)
    (not-food-at pos-1-6)
    (not-mothership-at pos-1-6)
    (not-wall-at pos-1-6)
    (not-food-at pos-2-6)
    (not-mothership-at pos-2-6)
    (not-wall-at pos-2-6)
    (not-food-at pos-3-6)
    (not-mothership-at pos-3-6)
    (not-wall-at pos-3-6)
    (not-food-at pos-4-6)
    (not-mothership-at pos-4-6)
    (not-wall-at pos-4-6)
    (not-food-at pos-5-6)
    (not-mothership-at pos-5-6)
    (not-wall-at pos-5-6)
    (not-food-at pos-6-6)
    (not-mothership-at pos-6-6)
    (not-wall-at pos-6-6)
    (not-mothership-at pos-7-6)
    (not-wall-at pos-7-6)
    (not-food-at pos-8-6)
    (not-mothership-at pos-8-6)
    (wall-at pos-8-6)
    (not-food-at pos-0-7)
    (not-mothership-at pos-0-7)
    (wall-at pos-0-7)
    (not-food-at pos-1-7)
    (not-mothership-at pos-1-7)
    (not-wall-at pos-1-7)
    (not-food-at pos-2-7)
    (not-mothership-at pos-2-7)
    (not-wall-at pos-2-7)
    (not-food-at pos-3-7)
    (not-mothership-at pos-3-7)
    (not-wall-at pos-3-7)
    (not-food-at pos-4-7)
    (not-mothership-at pos-4-7)
    (not-wall-at pos-4-7)
    (not-food-at pos-5-7)
    (not-mothership-at pos-5-7)
    (not-wall-at pos-5-7)
    (not-food-at pos-6-7)
    (not-mothership-at pos-6-7)
    (not-wall-at pos-6-7)
    (not-mothership-at pos-7-7)
    (not-wall-at pos-7-7)
    (not-food-at pos-8-7)
    (not-mothership-at pos-8-7)
    (wall-at pos-8-7)
    (not-food-at pos-0-8)
    (not-mothership-at pos-0-8)
    (wall-at pos-0-8)
    (not-food-at pos-1-8)
    (not-mothership-at pos-1-8)
    (wall-at pos-1-8)
    (not-food-at pos-2-8)
    (not-mothership-at pos-2-8)
    (wall-at pos-2-8)
    (not-food-at pos-3-8)
    (not-mothership-at pos-3-8)
    (wall-at pos-3-8)
    (not-food-at pos-4-8)
    (not-mothership-at pos-4-8)
    (wall-at pos-4-8)
    (not-food-at pos-5-8)
    (not-mothership-at pos-5-8)
    (wall-at pos-5-8)
    (not-food-at pos-6-8)
    (not-mothership-at pos-6-8)
    (wall-at pos-6-8)
    (not-food-at pos-7-8)
    (not-mothership-at pos-7-8)
    (wall-at pos-7-8)
    (not-food-at pos-8-8)
    (not-mothership-at pos-8-8)
    (wall-at pos-8-8)
    (adjacent-positions pos-1-1 pos-2-1)
    (adjacent-positions pos-2-1 pos-1-1)
    (adjacent-positions pos-1-1 pos-1-2)
    (adjacent-positions pos-1-2 pos-1-1)
    (adjacent-positions pos-2-1 pos-3-1)
    (adjacent-positions pos-3-1 pos-2-1)
    (adjacent-positions pos-2-1 pos-2-2)
    (adjacent-positions pos-2-2 pos-2-1)
    (adjacent-positions pos-3-1 pos-4-1)
    (adjacent-positions pos-4-1 pos-3-1)
    (adjacent-positions pos-3-1 pos-3-2)
    (adjacent-positions pos-3-2 pos-3-1)
    (adjacent-positions pos-4-1 pos-4-2)
    (adjacent-positions pos-4-2 pos-4-1)
    (adjacent-positions pos-6-1 pos-7-1)
    (adjacent-positions pos-7-1 pos-6-1)
    (adjacent-positions pos-6-1 pos-6-2)
    (adjacent-positions pos-6-2 pos-6-1)
    (adjacent-positions pos-7-1 pos-7-2)
    (adjacent-positions pos-7-2 pos-7-1)
    (adjacent-positions pos-1-2 pos-2-2)
    (adjacent-positions pos-2-2 pos-1-2)
    (adjacent-positions pos-1-2 pos-1-3)
    (adjacent-positions pos-1-3 pos-1-2)
    (adjacent-positions pos-2-2 pos-3-2)
    (adjacent-positions pos-3-2 pos-2-2)
    (adjacent-positions pos-2-2 pos-2-3)
    (adjacent-positions pos-2-3 pos-2-2)
    (adjacent-positions pos-3-2 pos-4-2)
    (adjacent-positions pos-4-2 pos-3-2)
    (adjacent-positions pos-3-2 pos-3-3)
    (adjacent-positions pos-3-3 pos-3-2)
    (adjacent-positions pos-6-2 pos-7-2)
    (adjacent-positions pos-7-2 pos-6-2)
    (adjacent-positions pos-6-2 pos-6-3)
    (adjacent-positions pos-6-3 pos-6-2)
    (adjacent-positions pos-7-2 pos-7-3)
    (adjacent-positions pos-7-3 pos-7-2)
    (adjacent-positions pos-1-3 pos-2-3)
    (adjacent-positions pos-2-3 pos-1-3)
    (adjacent-positions pos-1-3 pos-1-4)
    (adjacent-positions pos-1-4 pos-1-3)
    (adjacent-positions pos-2-3 pos-3-3)
    (adjacent-positions pos-3-3 pos-2-3)
    (adjacent-positions pos-6-3 pos-7-3)
    (adjacent-positions pos-7-3 pos-6-3)
    (adjacent-positions pos-6-3 pos-6-4)
    (adjacent-positions pos-6-4 pos-6-3)
    (adjacent-positions pos-7-3 pos-7-4)
    (adjacent-positions pos-7-4 pos-7-3)
    (adjacent-positions pos-1-4 pos-1-5)
    (adjacent-positions pos-1-5 pos-1-4)
    (adjacent-positions pos-5-4 pos-6-4)
    (adjacent-positions pos-6-4 pos-5-4)
    (adjacent-positions pos-5-4 pos-5-5)
    (adjacent-positions pos-5-5 pos-5-4)
    (adjacent-positions pos-6-4 pos-7-4)
    (adjacent-positions pos-7-4 pos-6-4)
    (adjacent-positions pos-6-4 pos-6-5)
    (adjacent-positions pos-6-5 pos-6-4)
    (adjacent-positions pos-7-4 pos-7-5)
    (adjacent-positions pos-7-5 pos-7-4)
    (adjacent-positions pos-1-5 pos-2-5)
    (adjacent-positions pos-2-5 pos-1-5)
    (adjacent-positions pos-1-5 pos-1-6)
    (adjacent-positions pos-1-6 pos-1-5)
    (adjacent-positions pos-2-5 pos-3-5)
    (adjacent-positions pos-3-5 pos-2-5)
    (adjacent-positions pos-2-5 pos-2-6)
    (adjacent-positions pos-2-6 pos-2-5)
    (adjacent-positions pos-3-5 pos-4-5)
    (adjacent-positions pos-4-5 pos-3-5)
    (adjacent-positions pos-3-5 pos-3-6)
    (adjacent-positions pos-3-6 pos-3-5)
    (adjacent-positions pos-4-5 pos-5-5)
    (adjacent-positions pos-5-5 pos-4-5)
    (adjacent-positions pos-4-5 pos-4-6)
    (adjacent-positions pos-4-6 pos-4-5)
    (adjacent-positions pos-5-5 pos-6-5)
    (adjacent-positions pos-6-5 pos-5-5)
    (adjacent-positions pos-5-5 pos-5-6)
    (adjacent-positions pos-5-6 pos-5-5)
    (adjacent-positions pos-6-5 pos-7-5)
    (adjacent-positions pos-7-5 pos-6-5)
    (adjacent-positions pos-6-5 pos-6-6)
    (adjacent-positions pos-6-6 pos-6-5)
    (adjacent-positions pos-7-5 pos-7-6)
    (adjacent-positions pos-7-6 pos-7-5)
    (adjacent-positions pos-1-6 pos-2-6)
    (adjacent-positions pos-2-6 pos-1-6)
    (adjacent-positions pos-1-6 pos-1-7)
    (adjacent-positions pos-1-7 pos-1-6)
    (adjacent-positions pos-2-6 pos-3-6)
    (adjacent-positions pos-3-6 pos-2-6)
    (adjacent-positions pos-2-6 pos-2-7)
    (adjacent-positions pos-2-7 pos-2-6)
    (adjacent-positions pos-3-6 pos-4-6)
    (adjacent-positions pos-4-6 pos-3-6)
    (adjacent-positions pos-3-6 pos-3-7)
    (adjacent-positions pos-3-7 pos-3-6)
    (adjacent-positions pos-4-6 pos-5-6)
    (adjacent-positions pos-5-6 pos-4-6)
    (adjacent-positions pos-4-6 pos-4-7)
    (adjacent-positions pos-4-7 pos-4-6)
    (adjacent-positions pos-5-6 pos-6-6)
    (adjacent-positions pos-6-6 pos-5-6)
    (adjacent-positions pos-5-6 pos-5-7)
    (adjacent-positions pos-5-7 pos-5-6)
    (adjacent-positions pos-6-6 pos-7-6)
    (adjacent-positions pos-7-6 pos-6-6)
    (adjacent-positions pos-6-6 pos-6-7)
    (adjacent-positions pos-6-7 pos-6-6)
    (adjacent-positions pos-7-6 pos-7-7)
    (adjacent-positions pos-7-7 pos-7-6)
    (adjacent-positions pos-1-7 pos-2-7)
    (adjacent-positions pos-2-7 pos-1-7)
    (adjacent-positions pos-2-7 pos-3-7)
    (adjacent-positions pos-3-7 pos-2-7)
    (adjacent-positions pos-3-7 pos-4-7)
    (adjacent-positions pos-4-7 pos-3-7)
    (adjacent-positions pos-4-7 pos-5-7)
    (adjacent-positions pos-5-7 pos-4-7)
    (adjacent-positions pos-5-7 pos-6-7)
    (adjacent-positions pos-6-7 pos-5-7)
    (adjacent-positions pos-6-7 pos-7-7)
    (adjacent-positions pos-7-7 pos-6-7)
    )

(:goal
    (and
    (food-processed f0)
    (food-processed f1)
    (food-processed f2)
    (food-processed f3)
    (food-processed f4)
    ))

(:metric minimize (total-cost))

)